1. Compiler specification and verification
پدیدآورنده : / Wolfgang polak
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Compiling (Electronic computer),Computer programs - Verification
رده :
QA76
.
6
.
P648
2. Compiler specification and verification
پدیدآورنده : Wolfgang Polak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Compilation (Ordinateurs),Compilers (Computer programs),Computer programs -- Verification.
3. Compiler specification and verification
پدیدآورنده : Polak, Wolfgang
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Compilers )Computer programs(,، Computer programs-- Verification
رده :
QA
76
.
6
.
P648
1981
4. Compiler specification and verification
پدیدآورنده : Polak, Wolfgang
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Compilers )Computer programs(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
124
5. Compiler specification and verification
پدیدآورنده : Polak, Wolfgang, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Compilers )Computer programs(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
124
6. Compiler specification & verification
پدیدآورنده : POLAK,WOLFGANG
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : COMPILERS )COMPUTER PROGRAMS( , COMPUTER PROGRAMS-VERIFICATION
رده :
QA
76
.
6
.
P648
7. Quantum Computing: A Gentle Introduction (Scientific and Engineering Computation)
پدیدآورنده : / Eleanor G. Rieffel, Wolfgang H. Polak
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
8. The Competitive Advantage--ECODESIGN
پدیدآورنده : / Mo Lee, Ferdinand Quella, John Polak-Wolfgang Wimmer, Kun
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : INSTRUMENTATION& ELECTRONIC|INSTRUMENTS &ENGINEERING, ELECTRICAL
رده :
E-BOOK
